Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
871	LCTES 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (In conjunction with PLDITucson, AZ, USA, Junehttp://lctes08.flux.utah.edu/ Add to Reading List Source URL: lctes08.flux.utah.edu Language: English - Date: 2007-12-03 13:30:29 Debugging SIGPLAN Compiler Computing Embedded operating systems Real-time operating systems Formal methods Programming language implementation Software Embedded system
872	PRESS RELEASE 21 January 2015 • PREOffice of CommunicationsJingumae 5-chome Shibuya-ku, Tokyowww.unu.edu Add to Reading List Source URL: i.unu.edu Language: English - Date: 2015-01-20 02:08:06 Formal methods RAISE United Nations University Institute for Sustainability and Peace World Institute for Development Economics Research Peace and conflict studies United Nations United Nations University
873	Intro AI4FM project Models of “why” Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematical proof Knowledge Rippling Formal methods Logic Automated theorem proving Mathematics Mathematical logic
874	The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’UlmParis cedex 05, France Patrick.Cousot@ ens.fr Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-08-12 12:15:34 Abstract interpretation Astrée Applied mathematics Computer science Formal verification Patrick Cousot Programming language Abstraction Semantics of programming languages Formal methods Theoretical computer science Logic in computer science
875	Enhancing Davis Putnam with Extended Binary Clause Reasoning Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Canada, M5S 1A4 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-04-08 12:32:58 Mathematical logic Constraint programming Formal methods Logic in computer science Boolean algebra Boolean satisfiability problem Unit propagation Resolution Davis–Putnam algorithm Theoretical computer science Mathematics Automated theorem proving
876	SCRUM Development Process Ken Schwaber Advanced Development Methods 131 Middlesex Turnpike Burlington, MAemail Fax: (___________________________________________________________________ Add to Reading List Source URL: jeffsutherland.org Language: English - Date: 2004-03-26 16:57:52 Project management Software development process Software engineering Formal methods Software development methodology Scrum Waterfall model Empirical process Spiral model Software development Business Software
877	Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod (System Description)∗ Jasmin Christian Blanchette Technische Universität München Garching, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-10-25 11:45:35 Mathematical logic Model theory Formal languages Formal methods Logical syntax Structure Isabelle Logic programming Automated theorem proving Mathematics Logic Metalogic
878	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:24 Model theory Proof theory Logic in computer science Philosophy of language Formal methods HOL Higher-order logic Simply typed lambda calculus Soundness Logic Mathematical logic Mathematics
879	Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005 Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-07-29 10:40:50 Applied mathematics Computing Formal verification Model checking Programming tool Programming language Exception handling Device driver synthesis and verification Computer-aided software engineering Formal methods Logic in computer science Theoretical computer science
880	Microsoft Word - Final_121603_v6.doc Add to Reading List Source URL: www.hepguru.com Language: English - Date: 2003-12-17 00:35:08 Information technology management Technology Formal methods Software engineering Software maintenance Project management Software evolution Software development process Agile software development Software development Maintenance Software project management

UPDATE